Skip to main content

NASA Technical Reports Server (NTRS) 20080000874: Solving the AI Planning Plus Scheduling Problem Using Model Checking via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)

Item Preview

SIMILAR ITEMS (based on metadata)